Nuprl Definition : w-V
11,40
postcript
pdf
V(
i
;
k
) == kindcase(
k
;
a
.((
w
.2).1)(
i
,
a
);
l
,
tg
.((
w
.2.2).1)(
l
,
tg
) )
latex
clarification:
w-V(
w
;
i
;
k
) == kindcase(
k
;
a
.((
w
.2).1)(
i
,
a
);
l
,
tg
.((
w
.2.2).1)(
l
,
tg
) )
latex
Definitions
kindcase(
k
;
a
.
f
(
a
);
l
,
t
.
g
(
l
;
t
) )
,
f
(
a
)
,
t
.1
,
t
.2
FDL editor aliases
w-V
origin